
package edu.java.homework.hw07.test0619;

class Super { }
class Sub extends Super { }

class Test0619 {
	public static void main(String[] args){
		Super x= new Super();
		Sub y= new Sub();

//		x= new Sub();
		y = (Sub) x;					// ( 1 )
	}
}

/*
Koi ot posochenite tvyrdeniia sa verni za operatora otbeliazan s ( 1 ):
  (1) Predizvikva greshka po vreme na translaciia;
  (2) Bez greshka pri translaciia, 
      no mozhe da predizvika greshka pri izpylnenie;
  (3) Nikoga ne predizvikva greshka pri izpylnenie i (Sub) ne e nuzhno;
  (4) Nikoga ne predizvikva greshka pri izpylnenie i (Sub) e nuzhno;
*/

// Result:  (2)
